Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
811	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2014-03-19 11:20:37 Functional languages Type theory Procedural programming languages Theoretical computer science Logic in computer science OCaml Type system Coq ML Software engineering Computing Programming language theory
812	An operational semantics for R5RS Scheme Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Functional programming Logic in computer science Lambda calculus Lisp programming language Subroutines Operational semantics Scheme Eval Monad Software engineering Computing Computer programming
813	Microsoft Word - FM08 Tutorial.doc Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-04-01 03:28:00 Logic in computer science Computer science Arvind Year of birth missing Electronic engineering Bluespec Inc. Formal verification Verification Correctness Formal methods Theoretical computer science Applied mathematics
814	Doc No: N4378 Date: Authors: John Lakos () Nathan Myers () Alexei Zakharov () Add to Reading List Source URL: www.open-std.org Language: English - Date: 2015-02-09 16:26:53 Logic in computer science Cross-platform software Assertion Debugging Precondition Procedural programming languages Design by contract Compiler C++ Software engineering Computer programming Computing
815	Engineering Theories with Z3? Nikolaj Bjørner Microsoft Research Abstract. Modern Satisfiability Modulo Theories (SMT) solvers are Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-10-17 17:03:30 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number Theoretical computer science Applied mathematics Electronic design automation
816	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research, University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:15 Electronic design automation Formal methods Logic in computer science NP-complete problems Vehicle Identification Number Satisfiability Modulo Theories FO Kripke semantics Theoretical computer science Mathematical logic Logic
817	Secrecy and Authenticity Types for Secure Distributed Messaging? Michele Bugliesi, Stefano Calzavara, and Damiano Macedonio Universit` a Ca’ Foscari Venezia, Dipartimento di Informatica {michele,scalzava,mace}@dsi.univ Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-06-10 05:02:59 Logic in computer science Mathematical logic Mathematical analysis Modular forms Curry–Howard correspondence Natural deduction Symbol Mathematics Proof theory
818	Lambda-Calculus Conferences in the 1970s Roger Hindley Mathematics Department, Swansea University, Wales, e-mail: August 12, 2011 Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2011-08-12 13:22:21 Mathematics Henk Barendregt Church–Rosser theorem Haskell Curry Barendregt Gordon Plotkin Henk Hindley Type theory Theoretical computer science Lambda calculus Mathematical logic
819	Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan Technical University of Denmark Nikolaj Bjørner Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-03 10:03:44 Model theory Logic in computer science Predicate logic Computability theory Metalogic Quantifier elimination Satisfiability Modulo Theories Presburger arithmetic True quantified Boolean formula Theoretical computer science Logic Mathematical logic
820	CSL’Business meeting September 5, 2012 CSL’12 I Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2012-12-04 16:29:26 Research Electronic submission IEEE Symposium on Logic in Computer Science Computerized Speech Lab Applied mathematics Mathematics Academia Competitions Digital media Grants

UPDATE